Angular momentum operator commutation proof